541. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
542. Programming with actors :
Author: Alessandro Ricci, Philipp Haller (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Intelligent agents (Computer software),Computer System Implementation.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Special Purpose and Application-Based Systems.,Computer programming-- software development.,Computer programming.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Intelligent agents (Computer software),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
I58
543. Progress in computing, analytics and networking :
Author: Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
5
544. Project e-society :
Author: edited by Reima Suomi [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic commerce, Congresses.,Information society, Congresses.
545. Quality of Communication-Based Systems :
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Software engineering.
Classification :
QA76
.
9
.
A23
E358
1995
546. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
547. Reading and writing the Lakota language
Author: Albert White Hat Sr. ; edited by Jael Kampfe ; [foreword by Vine Deloria Jr.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lakota dialect, Textbooks for foreign speakers-- English
Classification :
PM1024
.
Z9
L338
1999eb
548. Recent trends in algebraic development techniques :
Author: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
Classification :
QA76
.
76
.
D47
549. Reframing humans in information systems development /
Author: Hannakaisa Isomäki, Samuli Pekkola, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,User-centered system design.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Human-computer interaction.,Informatique.,User-centered system design.
Classification :
QA76
.
9
.
U83
R44
2011
550. Relational Database Systems :
Author: edited by Joachim W. Schmidt, Michael L. Brodie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.
Classification :
QA76
.
9
.
D3
E358
1983
551. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
552. Requirements Engineering with Use Cases. - a Basis for Software Development
Author: Regnell,Bjorn
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
Classification :
QA
76
.
9
.
R46
1999
553. Requirements engineering. a good practice guide
Author: Ian Sommerville and Pete Sawyer
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Computer software, Development,، System analysis,، Systems engineering
Classification :
QA
76
.
76
.
S66R37
1997
554. Requirements engineering: a good practice guide
Author: Sommerville, Ian
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development,، System analysis,، Systems engineering
Classification :
QA
76
.
76
.
D47
.
S668
1997
555. Requirements engineering :a good practice guide
Author: / Ian Sommerville and Pete Sawyer
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer software -- Development,System analysis,Systems engineering
Classification :
QA76
.
76
.
D47S66
556. Research issues in systems analysis and design, databases and software development
Author: / Keng Siau, [editor]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: System design,System analysis,Computer software- Development
Classification :
QA76
.
9
.
S88
,
R465
2007
557. Research issues in systems analysis and design, databases and software development
Author: Keng Siau, ]editor[
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، System design,، System analysis,، Computer software- Development
Classification :
QA
76
.
9
.
S88
R465
2007
558. Research issues in systems analysis and design, databases and software development /
Author: Keng Siau, [editor].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,System analysis.,System design.,Computer software-- Development.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
R465
2007
559. Research issues in systems analysis and design, databases and software development /Keng Siau, [editor].
Author: / Keng Siau, [editor].
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: System design.,System analysis,Computer software -- Development
Classification :
QA
76
.
9
.
S88
R465
2007
